Stable Power Domains
نویسنده
چکیده
In the category of stable dcpo's, free constructions w.r.t. algebraic theories exist. From this, we obtain various stable power domain constructions. After handling their properties in general, we concentrate on the stable Plotkin power construction. For continuous ground domains, it is explicitly described in terms of saturated compact sets. In case of algebraic ground domains, this description is isomorphic to Buneman's lossless power domains.
منابع مشابه
Determination of Stability Domains for Nonlinear Dynamical Systems Using the Weighted Residuals Method
Finding a suitable estimation of stability domain around stable equilibrium points is an important issue in the study of nonlinear dynamical systems. This paper intends to apply a set of analytical-numerical methods to estimate the region of attraction for autonomous nonlinear systems. In mechanical and structural engineering, autonomous systems could be found in large deformation problems or c...
متن کاملSelection of energy source and evolutionary stable strategies for power plants under financial intervention of government
Currently, many socially responsible governments adopt economic incentives and deterrents to manage environmental impacts of electricity suppliers. Considering the Stackelberg leadership of the government, the government’s role in the competition of power plants in an electricity market is investigated. A one-population evolutionary game model of power plants is developed to study how their pro...
متن کاملPartial metric monoids and semivaluation spaces
Stable partial metric spaces (or the equivalent invariant weightable quasi-metric spaces) form a fundamental concept in Quantitative Domain Theory. Indeed, all domains have been shown to be quantifiable via a stable partial metric (e.g. [22], [23], [26]). Monoid operations arise in Domain Theory in the context of power domains. These operations also arise naturally in a quantitative context and...
متن کاملSemistar dimension of polynomial rings and Prufer-like domains
Let $D$ be an integral domain and $star$ a semistar operation stable and of finite type on it. We define the semistar dimension (inequality) formula and discover their relations with $star$-universally catenarian domains and $star$-stably strong S-domains. As an application, we give new characterizations of $star$-quasi-Pr"{u}fer domains and UM$t$ domains in terms of dimension inequal...
متن کاملSelf-focusing on bounded domains
The critical nonlinear Schrödinger equation (NLS) on bounded domains models the propagation of cw laser beams in hollow-core fibers. Unlike the NLS on unbounded domains which models propagation in bulk media, the ground-state waveguide solutions are stable and the condition of critical power for singularity formation is generically sharp. © 2001 Elsevier Science B.V. All rights reserved. PACS: ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 136 شماره
صفحات -
تاریخ انتشار 1994